Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
by Erich Grädel,Phokion G. Kolaitis,Leonid Libkin,Maarten Marx,Joel Spencer,Moshe Y. Vardi,Yde Venema,Scott Weinstein
ISBN 13: 9783540004288
Format: Hardcover (437 pages) Publisher: Springer Published: 24 Apr 2007
Save for later
Multi-Dimensional Modal Logic: 4 (Applied Logic Series)
by Maarten Marx,Yde Venema
ISBN 13: 9780792343455
Format: Hardcover (256 pages) Publisher: Springer Published: 30 Nov 1996